Realisability conditions for second-order marginals of biphased media
نویسنده
چکیده
This paper concerns the second order marginals of biphased random media. We give discriminating necessary conditions for a bivariate function to be such a valid marginal, and illustrate our study with two practical applications: (1) the spherical variograms are valid indicator variograms if and only if they are multiplied by a sufficiently small constant, which upper bound is estimated, and (2) not every covariance/indicator variogram can be obtained with a Gaussian level set. The theoretical results backing this study are contained in a companion paper.
منابع مشابه
The convex class of realisable unit covariances
This paper concerns the characterisation of second order marginals for random sets in a discrete setting. Under the instance of unit covariances, this problem possesses a combinatorial symmetry, exploited jointly in the companion paper to give a heuristic procedure to check realisability. In particular we disprove Matheron’s conjecture, and explicit partially the structure of the convex body fo...
متن کاملClassical Program Extraction in the Calculus of Constructions
We show how to extract classical programs expressed in Krivine λc-calculus from proof-terms built in a proof-irrelevant and classical version of the calculus of constructions with universes. For that, we extend Krivine’s realisability model of classical second-order arithmetic to the calculus of constructions with universes using a structure of Πset which is reminiscent of ω-sets, and show that...
متن کاملInternalising modified realisability in constructive type theory
A modified realisability interpretation of infinitary logic is formalised and proved sound in constructive type theory (CTT). The logic considered subsumes first order logic. The interpretation makes it possible to extract programs with simplified types and to incorporate and reason about them in CTT. 1 Modified realisability Modified realisability interpretation is a well-known method for givi...
متن کاملA Conservative Extension of First-order Logic and Its Application to Theorem Proving
We define a weak second-order extension of first-order logic. We prove a second-order cut elimination theorem for this logic and use this to prove a conservativity and a realisability result. We give applications to formal program development and theorem proving, in particular, in modeling techniques in formal metatheory.
متن کاملNovel modified magnetic mesopouros silica for rapid and efficient removal of methylene blue dye from aqueous media
This reaserch aims at functionalizing magnetic mesoporous silica with methacrylic acid-3-aminopropyltriethoxysilane (Fe3O4@MCM-41@MAA-APTES) applied for removal of methylene blue from aqueous solution. Several variables (such as pH, dye concentration, adsorbent amount and contact time) have been investigated. Under optimum conditions, maximum capacity of 87.71 mg g-1 of MB was obtained for the ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- Random Struct. Algorithms
دوره 47 شماره
صفحات -
تاریخ انتشار 2015